📼 Tape Combinators

Sequential Programming Models, Linear Processing, Magnetic Computation, Storage Abstractions

IsoSched: Preemptive Tile Cascaded Scheduling of Multi-DNN via Subgraph Isomorphism
arxiv.org·6h
🌊Streaming Algorithms
Compiling with Continuations
swatson555.github.io·6h·
Discuss: Hacker News
💻Programming languages
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·2d
🔗Topological Sorting
System Instruction Fixed Point
funcall.blogspot.com·15h·
Discuss: www.blogger.com
⚡Proof Automation
Erase and Rewind: Precise LLM Memory Manipulation for Safer AI by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
💻Local LLMs
[ARC-AGI-2 SoTA] Efficient Evolutionary Program Synthesis
ctpang.substack.com·4h·
Discuss: Substack
⚡Incremental Computation
Reworking Memory Management in CRuby
railsatscale.com·7h·
Discuss: Hacker News
🧠Memory Allocators
Semantic Dictionary Encoding
falvotech.com·1d·
Discuss: Hacker News
🌀Brotli Dictionary
Building Coding Agents via Entropy-Enhanced Multi-Turn Preference Optimization
arxiv.org·6h
🧠Intelligence Compression
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·1d
💻Local LLMs
Vectorization in Python for Machine Learning
dev.to·15h·
Discuss: DEV
⚡SIMD Vectorization
Solving a Wooden Puzzle Using Haskell
glocq.github.io·5h·
Discuss: Lobsters, Hacker News
💎Information Crystallography
Automated Conformance Testing Through Hybrid Symbolic Execution & Reinforcement Learning
dev.to·8h·
Discuss: DEV
🔍Concolic Testing
Bricks to Brains: Building AI Accelerators with LEGOs by Arvind Sundararajan
dev.to·11h·
Discuss: DEV
⚡Homebrew CPUs
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·2d·
Discuss: Lobsters, Hacker News
🧮Kolmogorov Complexity
The Case for Compact AI – Communications of the ACM
dl.acm.org·1d·
Discuss: Hacker News
🧠Intelligence Compression
Claude Can (Sometimes) Prove It
galois.com·10h·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·6h
⚔️Lean Tactics
Primed for Performance: Turbocharging Transformers for Time Series Analysis by Arvind Sundararajan
dev.to·18h·
Discuss: DEV
📈Time Series
Machine Scheduler in LLVM
myhsu.xyz·1d·
Discuss: Hacker News, r/programming
⚙️RISC-V Microcode